$\forall$$w$:World. $w$.TA $\in$ Id$\rightarrow$Id$\rightarrow$Type